This two volume set LNCS 5163 and LNCS 5164 constitutes the refereed proceedings of the 18th International Conference on ...
Lire la suiteThis book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lire la suiteThis book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lire la suiteThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lire la suiteThe Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
Lire la suiteThis book brings together leading academic researchers and industrial practitioners to address the issues in this emerging ...
Lire la suiteThis book constitutes the refereed proceedings of the 21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE ...
Lire la suiteThe theme “Build and Conquer” : software development is an engineering discipline, and not an artistic expression. Once ...
Lire la suiteThis book is concerned with studying the co-design methodology in general, and how to determine the more suitable interface ...
Lire la suiteEmbedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
Lire la suiteCBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of ...
Lire la suiteThis book discussed a range of challenges in embedded systems design that require further major advances in software and ...
Lire la suiteThis book discussed a range of challenges in embedded systems design that require further major advances in software and ...
Lire la suiteThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lire la suiteThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lire la suiteThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suiteThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suiteThis book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...
Lire la suiteThe conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability ...
Lire la suite